-
生物实验室安全故事手记
¥41.1(7.9折)定价:¥52.0POD产品说明: 1. 本产品为按需印刷(POD)图书,实行先付款,后印刷的流程。您在页面购买且完成支付后,订单转交出版社。出版社根据您的订单采用数字印刷的方式,单独为您印制该图书,属于定制产品。 2. 按需印刷的图书装帧均为平装书(含原为精装的图书)。由于印刷工艺、彩墨的批次不同,颜色会与老版本略有差异,但通常会比老版本的颜色更准确。原书内容含彩图的,统一变成黑白图,原书含光盘的,统一无法提供光盘。 3. 按需印刷的图书制作成本高于
-
海河流域湿地栖息地完整性恢复及保障技术
¥71.3(7.2折)定价:¥99.0针对强人为干扰下海河流域水资源短缺、栖息地恶化和生态系统退化复合环境问题,刘静玲、尤晓光、史璇、孟博、孙斌等著的《海河流域湿地栖息地完整性恢复及保障技术》面向如何保障流域湿地栖息地完整性这一基础科学问题,以本领域国际最新研究成果和栖息地完整性评价模型为理论和方法支撑,探明海河流域不同时空水系构型和流量特征,进行水生态单元一水系一流域尺度下栖息地完整性评价,研究不同流量和人为胁迫对湿地栖息地完整性的影响机制,开展流域湿地栖息地研究案例分
-
安全协议实施安全性自动化分析与验证
¥73.5(7.5折)定价:¥98.0本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于能够获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性、基于仅能够获取安全协议客户端实施自动化分析其安全性, 基于不能